قضایای ناتمامیت: مبانی، برهان و برخی نتایج فلسفی
thesis
- وزارت علوم، تحقیقات و فناوری - دانشگاه علامه طباطبایی - دانشکده ادبیات و زبانهای خارجی
- author میثم میرزایی عطاآبادی
- adviser علی اکبر احمدی افرمجانی مرتضی منیری
- Number of pages: First 15 pages
- publication year 1387
abstract
چکیده ندارد.
similar resources
برهان های قضایای ناتمامیت براساس پارادوکس بری
گودل در مقاله اش بیان می دارد که شباهت هایی بین پارادوکس دروغگو و جمله مستقل ارائه شده در برهان وی وجود دارد. برهان های قضیه ناتمامیت مبتنی برصوری سازی پارادوکس بری توسط وُپِینکا، شایتین و بولوس ارایه شده اند. پارادوکس بری بر مبنای جمله «کمترین عدد صحیح که در کمتر از 90 نماد نمی توان آنرا توصیف کرد» بنا نهاده شده است؛ اما عبارت درون نقل قول، خود یک توصیف 80 نمادی است! این پارادوکس در قرن اخیر توس...
آیا قضایای ناتمامیت گودل را می‌توان در مکانیک کوانتومی به‌کاربرد؟
مکانیک کوانتومی نظریه ای است که ساختار فکری بشر را دگرگون کرد. اما با وجود موفقیت ها ی زیاد آن از زمان اینشتین تاکنون عده ای در مورد کامل بودن آن دارای شک ، تردید و شبهه هستند. یکی از راه هایی که عده ای کامل بودن این نظریه را مورد تردید قرار می دهند قضایای ناتمامیت گودل است. کورت گودل در دوران دکترا و اندکی پس از تحقیق در مورد برنامه های تمامیت و سازگاری هیلبرت در سیستم های صوری، به اثبات دو ق...
full textقضایای ناتمامیت گودل و راسر
در این پایاننامه، اثبات های جدیدی از قضیه ناتمامیت که در دهه 1990 به دست آمده اند، ارایه می شود، به طوری که در آن ها از لم قطری سازی برای ساختن یک جمله مستقل استفاده نمی شود.
سیر برهان صدیقین و تحول خداشناسی فلسفی
برهان صدیقین نمونه خوبی است از مباحث فلسفی که سیر تحول آن بیانگر ژرفنگری فیلسوفان مسلمان در ابداع و ارائه ملاک دقیق در نزدیکتر شدن به آموزه دینی « خدا را به خدا شناختن» می باشد. تلاش ابن سینا ارائه برهان مبتنی بر وجودشناسی به هدف بی نیازی از مبادی تصوری جهان شناختی بود. صدرا معتقد است برهان ابن سینا فقط ابتنای بر مبادی وجود شناختی ندارد، زیرا وی از امکان ماهوی نیز بهره برده است. برهان شیخ اشراق...
full textپارادکس یابلو و قضایای ناتمامیت ریاضی
پارادُکس یابلو از چالش برانگیزترین مباحثی است که اخیراً مورد نقد و بررسی فیلسوفان، ریاضی دانان و حتی دانشمندان علوم کامپیوتر قرار گرفته است. در این پارادکس با معرفی یک سری بی پایان از جملاتی که خود-متناقض نیستند، ولی از وجود این بی نهایت جمله تناقض نتیجه می شود، ظاهراً از دور و تسلسل دوری می گردد. در حقیقت هر جمله از دنباله یابلو بیان می کند که تمامی جملات پس از او همگی نادرستند. می توان دید که و...
بررسی تطبیقی برهان جهانشناختی فلسفی و کلامی
برهان جهانشناختی از مهم‌ترین براهین اثبات وجود خدا به شمار میآید که فیلسوفان و متکلمان بر اساس مبانی فکری خود آن را بررسی کردهاند. هسته مرکزی این برهان از دیدگاه فیلسوفان، امکان و وجوب و از دیدگاه متکلمان، حدوث و قدم است. این مقاله این دو برهان را توضیح میدهد و مبانی آنها را بیان میکند، آنگاه به دیدگاه فیلسوفان و متکلمان درباره معیار نیازمندی معلول به علت پرداخته، دیدگاه فیلسوفان و متکلم...
full textMy Resources
document type: thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه علامه طباطبایی - دانشکده ادبیات و زبانهای خارجی
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023